文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法，基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型逻......